Inhalt des Dokuments
Publikationen
| Zitatschlüssel | EPTCS300.7 |
|---|---|
| Autor | Prehn, Tobias and Rotter, Myron |
| Seiten | 102-113 |
| Jahr | 2019 |
| DOI | 10.4204/EPTCS.300.7 |
| Journal | Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, Amsterdam, The Netherlands, 26th August 2019 |
| Jahrgang | 300 |
| Herausgeber | Pérez, Jorge A. and Rot, Jurriaan |
| Verlag | Open Publishing Association |
| Serie | Electronic Proceedings in Theoretical Computer Science |
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe